Andrei Voronkov (eds.) : rechercher sur Z-Library

Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Libre accès à la connaissance et à la culture.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Livres (47)
Les plus populaires
Liste
- Liste
- Tableau

1

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Springer-Verlag Berlin Heidelberg

Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov (eds.)

Année:

2015

Langue:

english

Fichier:

PDF, 22.02 MB

0 / 0

english, 2015

2

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Johann A. Makowsky (auth.), Nachum Dershowitz, Andrei Voronkov (eds.)

Année:

2007

Langue:

english

Fichier:

PDF, 5.33 MB

0 / 0

english, 2007

3

Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Luca Aceto, Dario Della Monica (auth.), Ken McMillan, Aart Middeldorp, Andrei Voronkov (eds.)

Année:

2013

Langue:

english

Fichier:

PDF, 11.60 MB

0 / 0

english, 2013

4

Computer Science – Theory and Applications: Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings

Computer Science – Theory and Applications: Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Yuri Gurevich (auth.), Volker Diekert, Mikhail V. Volkov, Andrei Voronkov (eds.)

Année:

2007

Langue:

english

Fichier:

PDF, 7.47 MB

0 / 0

english, 2007

5

Transactions and Change in Logic Databases: International Seminar on Logic Databases and the Meaning of Change Schloss Dagstuhl, Germany, September 23–27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Dedu

Transactions and Change in Logic Databases: International Seminar on Logic Databases and the Meaning of Change Schloss Dagstuhl, Germany, September 23–27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Dedu

Springer-Verlag Berlin Heidelberg

Anthony J. Bonner, Michael Kifer (auth.), Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov (eds.)

Année:

1998

Langue:

english

Fichier:

DJVU, 6.66 MB

0 / 0

english, 1998

6

Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Frédéric Blanqui, Jean-Pierre Jouannaud (auth.), Miki Hermann, Andrei Voronkov (eds.)

Année:

2006

Langue:

english

Fichier:

PDF, 6.22 MB

0 / 0

english, 2006

7

Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers

Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers

Springer-Verlag Berlin Heidelberg

Eike Best, Javier Esparza, Harro Wimmel, Karsten Wolf (auth.), Irina Virbitskaite, Andrei Voronkov (eds.)

Année:

2007

Langue:

english

Fichier:

PDF, 5.87 MB

0 / 0

english, 2007

8

Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings

Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

Hassan Aït-Kaci, Andreas Podelski (auth.), Andrei Voronkov (eds.)

Année:

1993

Langue:

english

Fichier:

DJVU, 4.02 MB

0 / 0

english, 1993

9

Automated Deduction—CADE-18: 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings

Automated Deduction—CADE-18: 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Ian Horrocks (auth.), Andrei Voronkov (eds.)

Année:

2002

Langue:

english

Fichier:

PDF, 5.44 MB

0 / 0

english, 2002

10

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Alan Bundy, Julian Richardson (auth.), Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)

Année:

1999

Langue:

english

Fichier:

DJVU, 3.65 MB

0 / 0

english, 1999

11

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Matthias Baaz, Alexander Leitsch (auth.), Franz Baader, Andrei Voronkov (eds.)

Année:

2005

Langue:

english

Fichier:

PDF, 4.55 MB

0 / 0

english, 2005

12

Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Andrei Voronkov, Irina Virbitskaite (eds.)

Année:

2015

Langue:

english

Fichier:

PDF, 16.61 MB

0 / 0

english, 2015

13

Extensions of Logic Programming: 5th International Workshop, ELP '96 Leipzig, Germany, March 28–30, 1996 Proceedings

Extensions of Logic Programming: 5th International Workshop, ELP '96 Leipzig, Germany, March 28–30, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Martin Argenius, Andrei Voronkov (auth.), Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister (eds.)

Année:

1996

Langue:

english

Fichier:

DJVU, 2.75 MB

0 / 0

english, 1996

14

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)

Année:

2010

Langue:

english

Fichier:

PDF, 6.95 MB

0 / 0

english, 2010

15

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Alan Bundy, Julian Richardson (auth.), Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)

Année:

1999

Langue:

english

Fichier:

PDF, 12.61 MB

0 / 0

english, 1999

16

Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Allen Van Gelder (auth.), Geoff Sutcliffe, Andrei Voronkov (eds.)

Année:

2005

Langue:

english

Fichier:

PDF, 7.14 MB

0 / 0

english, 2005

17

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)

Année:

2010

Langue:

english

Fichier:

PDF, 6.95 MB

0 / 0

english, 2010

18

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)

Année:

2010

Langue:

english

Fichier:

PDF, 8.44 MB

0 / 5.0

english, 2010

19

LNCS 7797 - Programming Logics

LNCS 7797 - Programming Logics

Andrei Voronkov & Christoph Weidenbach (eds.)

Année:

2013

Langue:

spanish

Fichier:

EPUB, 1.40 MB

0 / 0

spanish, 2013

20

LNCS 7797 - Programming Logics

LNCS 7797 - Programming Logics

Andrei Voronkov & Christoph Weidenbach (eds.)

Année:

2013

Langue:

spanish

Fichier:

PDF, 5.07 MB

0 / 0

spanish, 2013

21

Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Krishnendu Chatterjee, Laurent Doyen (auth.), Christian G. Fermüller, Andrei Voronkov (eds.)

Année:

2010

Langue:

english

Fichier:

PDF, 7.38 MB

0 / 5.0

english, 2010

22

LNCS 7797 - Programming Logics

LNCS 7797 - Programming Logics

Andrei Voronkov & Christoph Weidenbach (eds.)

Année:

2013

Langue:

spanish

Fichier:

AZW3 , 2.01 MB

0 / 0

spanish, 2013

23

LNCS 7797 - Programming Logics

LNCS 7797 - Programming Logics

Andrei Voronkov & Christoph Weidenbach (eds.)

Année:

2013

Langue:

spanish

Fichier:

FB2 , 3.00 MB

0 / 0

spanish, 2013

24

LNCS 7797 - Programming Logics

LNCS 7797 - Programming Logics

Andrei Voronkov & Christoph Weidenbach (eds.)

Année:

2013

Fichier:

LIT , 1.37 MB

0 / 0

2013

25

LNCS 7797 - Programming Logics

LNCS 7797 - Programming Logics

Andrei Voronkov & Christoph Weidenbach (eds.)

Année:

2013

Langue:

spanish

Fichier:

MOBI , 1.78 MB

0 / 0

spanish, 2013

26

Programming Logics: Essays in Memory of Harald Ganzinger

Programming Logics: Essays in Memory of Harald Ganzinger

Springer-Verlag Berlin Heidelberg

Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov (auth.), Andrei Voronkov, Christoph Weidenbach (eds.)

Année:

2013

Langue:

english

Fichier:

PDF, 4.83 MB

0 / 0

english, 2013

27

Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Ian Hodkinson, Frank Wolter, Michael Zakharyaschev (auth.), Robert Nieuwenhuis, Andrei Voronkov (eds.)

Année:

2001

Langue:

english

Fichier:

PDF, 6.72 MB

0 / 0

english, 2001

28

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Elvira Albert, Puri Arenas, Samir Genaim (auth.), Nikolaj Bjørner, Andrei Voronkov (eds.)

Année:

2012

Langue:

english

Fichier:

PDF, 5.27 MB

0 / 0

english, 2012

29

Advances in Artificial Intelligence: 10th Mexican International Conference on Artificial Intelligence, MICAI 2011, Puebla, Mexico, November 26 - December 4, 2011, Proceedings, Part I

Advances in Artificial Intelligence: 10th Mexican International Conference on Artificial Intelligence, MICAI 2011, Puebla, Mexico, November 26 - December 4, 2011, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Kryštof Hoder, Laura Kovács, Andrei Voronkov (auth.), Ildar Batyrshin, Grigori Sidorov (eds.)

Année:

2011

Langue:

english

Fichier:

PDF, 12.49 MB

0 / 0

english, 2011

30

Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Franz Baader, Jan Hladik, Carsten Lutz (auth.), Moshe Y. Vardi, Andrei Voronkov (eds.)

Année:

2003

Langue:

english

Fichier:

PDF, 4.08 MB

0 / 0

english, 2003

31

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Geoff Sutcliffe (auth.), Edmund M. Clarke, Andrei Voronkov (eds.)

Année:

2010

Langue:

english

Fichier:

PDF, 5.38 MB

0 / 0

english, 2010

32

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

M. Alpuente, S. Escobar, B. Gramlich (auth.), Matthias Baaz, Andrei Voronkov (eds.)

Année:

2002

Langue:

english

Fichier:

PDF, 4.79 MB

0 / 0

english, 2002

33

Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Krishnendu Chatterjee, Laurent Doyen (auth.), Christian G. Fermüller, Andrei Voronkov (eds.)

Année:

2010

Langue:

english

Fichier:

PDF, 6.94 MB

0 / 0

english, 2010

34

Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

Springer International Publishing

Alexander K. Petrenko, Andrei Voronkov (eds.)

Année:

2018

Langue:

english

Fichier:

PDF, 22.74 MB

0 / 0

english, 2018

35

Advances in Artificial Intelligence: 10th Mexican International Conference on Artificial Intelligence, MICAI 2011, Puebla, Mexico, November 26 - December 4, 2011, Proceedings, Part I

Advances in Artificial Intelligence: 10th Mexican International Conference on Artificial Intelligence, MICAI 2011, Puebla, Mexico, November 26 - December 4, 2011, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Kryštof Hoder, Laura Kovács, Andrei Voronkov (auth.), Ildar Batyrshin, Grigori Sidorov (eds.)

Année:

2011

Langue:

english

Fichier:

PDF, 11.54 MB

0 / 0

english, 2011

36

Logic Programming and Automated Reasoning: International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings

Logic Programming and Automated Reasoning: International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Halina Przymusinska, Teodor Przymusinski (auth.), Andrei Voronkov (eds.)

Année:

1992

Langue:

english

Fichier:

DJVU, 6.42 MB

0 / 0

english, 1992

37

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Joao Marques-Silva, Inês Lynce, Vasco Manquinho (auth.), Iliano Cervesato, Helmut Veith, Andrei Voronkov (eds.)

Année:

2008

Langue:

english

Fichier:

PDF, 9.43 MB

0 / 0

english, 2008

38

Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

Springer International Publishing

Manuel Mazzara, Andrei Voronkov (eds.)

Année:

2016

Langue:

english

Fichier:

PDF, 12.78 MB

0 / 0

english, 2016

39

Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

Springer-Verlag Berlin Heidelberg

María Alpuente, Santiago Escobar, José Iborra (auth.), Andrei Voronkov (eds.)

Année:

2008

Langue:

english

Fichier:

PDF, 4.64 MB

0 / 0

english, 2008

40

Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers

Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Eike Best, Philippe Darondeau (auth.), Edmund Clarke, Irina Virbitskaite, Andrei Voronkov (eds.)

Année:

2012

Langue:

english

Fichier:

PDF, 5.51 MB

0 / 0

english, 2012

41

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Geoff Sutcliffe (auth.), Edmund M. Clarke, Andrei Voronkov (eds.)

Année:

2010

Langue:

english

Fichier:

PDF, 8.19 MB

0 / 0

english, 2010

42

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Joao Marques-Silva, Inês Lynce, Vasco Manquinho (auth.), Iliano Cervesato, Helmut Veith, Andrei Voronkov (eds.)

Année:

2008

Langue:

english

Fichier:

PDF, 11.37 MB

0 / 0

english, 2008

43

Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings

Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Laura Kovács, Andrei Voronkov (auth.), Natasha Sharygina, Helmut Veith (eds.)

Année:

2013

Langue:

english

Fichier:

PDF, 19.70 MB

0 / 0

english, 2013

44

Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Krishnendu Chatterjee, Laurent Doyen (auth.), Christian G. Fermüller, Andrei Voronkov (eds.)

Année:

2010

Langue:

english

Fichier:

PDF, 7.03 MB

0 / 0

english, 2010

45

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Elvira Albert, Puri Arenas, Samir Genaim (auth.), Nikolaj Bjørner, Andrei Voronkov (eds.)

Année:

2012

Langue:

english

Fichier:

PDF, 8.16 MB

0 / 0

english, 2012

46

Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

Springer-Verlag Berlin Heidelberg

María Alpuente, Santiago Escobar, José Iborra (auth.), Andrei Voronkov (eds.)

Année:

2008

Langue:

english

Fichier:

PDF, 8.38 MB

0 / 0

english, 2008

47

Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings

Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Laura Kovács, Andrei Voronkov (auth.), Natasha Sharygina, Helmut Veith (eds.)

Année:

2013

Langue:

english

Fichier:

PDF, 20.75 MB

0 / 0

english, 2013